Section: New Software and Platforms

Zipperposition

Zipperposition is an implementation of the superposition method that relies on the library Logtk for basic logic data structures and algorithms. Zipperposition is designed as a testbed for extensions to superposition, and can currently deal with polymorphic typed logic, integer arithmetic and total orderings.

• Contact: Simon Cruanes

• URL: http://deducteam.gforge.inria.fr/zipperposition/

In 2015, we extended Zipperposition to structural induction.